(declare-fun _substvar_102_ () Bool)
(declare-const v0 Bool)
(declare-const v6 Bool)
(declare-const i2 Int)
(declare-const i3 Int)
(declare-const i5 Int)
(declare-const i6 Int)
(declare-const i8 Int)
(declare-const i9 Int)
(declare-const i10 Int)
(declare-const i11 Int)
(declare-const i12 Int)
(assert (distinct i3 34))
(assert (or v0 v6 v6))
(assert (>= (abs (+ 96 i2 (* i5 2 34 96))) (div (* i5 2 34 96) 900)))
(assert (< (+ 96 i2 (* i5 2 34 96)) 96))
(check-sat)
